1

Formal definition and verification of data flow diagrams

Year:
1991
Language:
english
File:
PDF, 1.10 MB
english, 1991
12

Using expert systems to understand object-oriented behavior

Year:
1995
Language:
english
File:
PDF, 408 KB
english, 1995